Denition6(semanticsandinferenceproblems)givenaninterpretationi=(i;i) published presentations and documents on DocSlides.